[Alphabetical Index | Tag Index]

Sum type* (also Union type,Tagged union)

A composite data type that describes the a choice of multiple possible types. An algebraic data type with multiple constructors is an example of a sum union type (each constructor corresponds to a product type). In a set-theoretic interpretation of types, this corresponds to disjoint union on sets.

[Wikipedia]